On Coseparable and Biseparable Corings
نویسندگان
چکیده
A relationship between coseparable corings and separable non-unital rings is established. In particular it is shown that an A-coring C has an associative A-balanced product. A Morita context is constructed for a coseparable coring with a grouplike element. Biseparable corings are defined, and a conjecture relating them to Frobenius corings is proposed.
منابع مشابه
On comatrix corings and bimodules
To any bimodule which is finitely generated and projective on one side one can associate a coring, known as a comatrix coring. A new description of comatrix corings in terms of data reminiscent of a Morita context is given. It is also studied how properties of bimodules are reflected in the associated comatrix corings. In particular it is shown that separable bimodules give rise to coseparable ...
متن کاملA Note on Coseparable Coalgebras
Given a coalgebra C over a commutative ring R, we show that C can be considered as a (not necessarily counital) C-coring. Moreover, we show that this coring has a left (right) counity if and only if C is coseparable as an R-coalgebra.
متن کاملMorita Theory for Comodules over Corings
By a theorem due to Kato and Ohtake, any (not necessarily strict) Morita context induces an equivalence between appropriate subcategories of the module categories of the two rings in the Morita context. These are in fact categories of firm modules for non-unital subrings. We apply this result to various Morita contexts associated to a comodule Σ of an A-coring C. This allows to extend (weak and...
متن کاملOn Coinduction Functors between Categories of Comodules for Corings
In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally projective corings as a composition of suitable “Trace” and “Hom” functors and show how to derive it from a more general coinduction functor between categories ...
متن کاملThe Bicategory of Corings
To a B-coring and a (B, A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projec...
متن کامل